#ifndef _OSV_BSD_MACHINE_PCPU_H
#define _OSV_BSD_MACHINE_PCPU_H
#endif
